void test_mont256_add();
void test_mont256_dbl();
void test_mont256_div2();
void test_mont256_from_bytes_ex();
void test_mont256_inv();
void test_mont256_mul();
void test_mont256_neg();
void test_mont256_pow();
void test_mont256_sqr();
void test_mont256_sub();
void test_mont256_tpl();

void test_mont256()
{
    test_mont256_add();
    test_mont256_dbl();
    test_mont256_div2();
    test_mont256_from_bytes_ex();
    test_mont256_inv();
    test_mont256_mul();
    test_mont256_neg();
    test_mont256_pow();
    test_mont256_sqr();
    test_mont256_sub();
    test_mont256_tpl();
}
